English automated transformation of formal specifications into silicon software: תרגום לשפות אחרות